Bonne T2 Année!

Année : 2006

The interest in patterning surfaces with microand nanometer resolutions has been growing fast in recentyears, illustrating the tremendous potential of patterning techniques for both fundamental investigationsand technological applications in photonics, molecular electronics, and biosensors. Among the variouspatterning methods, liquid dispensing techniques relying on the use of m...

N ◦ d’ordre: Année 2008

Faire bonne figure avec Mlpost

This article introduces MLPOST, an OCaml library for scientific drawing. It is based on METAPOST, which allows inclusion of LTEX fragments. OCaml is an appealing alternative to LTEX macro languages, dedicated languages and even to graphic tools. In particular, MLPOST users benefit from OCaml’s expressiveness and static typing. Finally, MLPOST features a declarative style, which differs from the...

N o d ’ ordre : 4015 ANNÉE 2009

Web Services orchestrations require a firm mathematical basis for their development. We start from the Orc formalism proposed by J. Misra and co-workers, at Austin University. Orc is small and elegant and captures the essence of orchestrations. We translate Orc into colored Petri net systems, a generalization of Petri nets allowing to handle recursion—this formalism was recently proposed by Dev...

Master Informatique , 2 ème année Bruno